Language and Computation

#	Item
341	PDF Document Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2013-04-24 17:17:52 International Colloquium on Automata Languages and Programming Workshop on Logic Language Information and Computation Symposium on Theoretical Aspects of Computer Science Bill Roscoe Model checking Theoretical computer science Computer science Automata theory
342	PDF Document Add to Reading List Source URL: www.aws.cit.ie Language: English - Date: 2004-10-29 06:00:28 Software engineering Software Models of computation Finite-state machine Modeling language Specification language Abstraction Specification Simple DirectMedia Layer Diagrams Specification and Description Language Computing
343	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-27 05:55:04 Logic in computer science Programming language semantics Models of computation Computability theory Metalogic Denotational semantics Free variables and bound variables Operational semantics Entailment Theoretical computer science Logic Mathematical logic